BIP Halfagg: Fix two inconsistencies#15
Merged
jonasnick merged 2 commits intoBlockstreamResearch:masterfrom Feb 2, 2024
Merged
BIP Halfagg: Fix two inconsistencies#15jonasnick merged 2 commits intoBlockstreamResearch:masterfrom
jonasnick merged 2 commits intoBlockstreamResearch:masterfrom
Conversation
jonasnick
reviewed
Jan 31, 2024
Contributor
jonasnick
left a comment
jonasnick
left a comment
There was a problem hiding this comment.
Thanks for the review! This means we have three implementations now: in hacspec, in python and in libsecp256k1-zkp C.
real-or-random
approved these changes
Feb 2, 2024
Member
real-or-random
left a comment
real-or-random
left a comment
There was a problem hiding this comment.
utACK c3236ba
Great to hear that there's a python implementation now!
jonasnick
approved these changes
Feb 2, 2024
code-druidx6y78
added a commit
to code-druidx6y78/cross-input-aggregation
that referenced
this pull request
Sep 28, 2025
…x two inconsistencies
c3236ba6ef2727a88077beea45df04454706629d BIP Halfagg: Match IncAggregate signature in Aggregate (Fabian Jahr)
544f123e390b4697075a65d4dcacac06368dbb84 Hacspec Halfagg: Match BIP340 challenge input to BIP (Fabian Jahr)
Pull request description:
ACKs for top commit:
real-or-random:
utACK c3236ba6ef2727a88077beea45df04454706629d
jonasnick:
ACK c3236ba6ef2727a88077beea45df04454706629d
Tree-SHA512: 0e7f212a4c20c55757d6f29cf091c3ef6c444d0d10d10267191ddeeedddcb5638e577aa1f9d1b547b69a7d86c280d428bff8633f4bacdaa19aeb9776e46573f8
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
I found two inconsistencies while reviewing/implementing the Halfagg BIP:
pm_aggdwhen called withinAggregate.VerifyAggregateis inconsistent between the BIP and the hacspec implementation. The BIP usespki, the 32 bytes public key, while the hacspec implementation uses the corresponding pointPi. I wasn't sure which one was the correct way, for now, I updated the BIP but maybe the hacspec implementation is supposed to be fixed instead. Since I was using the test vectors from the hacspec implementation to confirm my code was correct it was just more convenient to assume the hacspec code is correct.FWIW, my Python implementation can be found can be found here: https://github.com/fjahr/cisa-playground/blob/main/halfagg.py My main goal with this was to review the BIP so I tried to keep it as close to the BIP as possible.